Nuprl Definition : let
12,41
postcript
pdf
let
x
=
a
in
b
(
x
) == (
x
.
b
(
x
))(
a
)
latex
FDL editor aliases
let
origin
x.b(x))(a) x.b(x))(a)